Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems

نویسندگان

  • Federico Mari
  • Igor Melatti
  • Ivano Salvo
  • Enrico Tronci
چکیده

We show that the existence of a quantized controller for a given Discrete Time Linear Hybrid System (DTLHS) is undecidable. This is a relevant class of controllers since control software always implements a quantized controller. Furthermore, we investigate the relationship between dense time modelling and discrete time modelling by showing that any Rectangular Hybrid Automaton (and thus, any Timed Automaton) can be modelled as a DTLHS.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Eigenvalue Assignment Of Discrete-Time Linear Systems With State And Input Time-Delays

Time-delays are important components of many dynamical systems that describe coupling or interconnection between dynamics, propagation or transport phenomena, and heredity and competition in population dynamics. The stabilization with time delay in observation or control represents difficult mathematical challenges in the control of distributed parameter systems. It is well-known that the stabi...

متن کامل

Pole Assignment Of Linear Discrete-Time Periodic Systems In Specified Discs Through State Feedback

The problem of pole assignment, also known as an eigenvalue assignment, in linear discrete-time periodic systems in discs was solved by a novel method which employs elementary similarity operations. The former methods tried to assign the points inside the unit circle while preserving the stability of the discrete time periodic system. Nevertheless, now we can obtain the location of eigenvalues ...

متن کامل

Partial Eigenvalue Assignment in Discrete-time Descriptor Systems via Derivative State Feedback

A method for solving the descriptor discrete-time linear system is focused. For easily, it is converted to a standard discrete-time linear system by the definition of a derivative state feedback. Then partial eigenvalue assignment is used for obtaining state feedback and solving the standard system. In partial eigenvalue assignment, just a part of the open loop spectrum of the standard linear s...

متن کامل

A new switching strategy for exponential stabilization of uncertain discrete-time switched linear systems in guaranteed cost control problem

Uncertain switched linear systems are known as an important class of control systems. Performance of these systems is affected by uncertainties and its stabilization is a main concern of recent studies. Existing work on stabilization of these systems only provides asymptotical stabilization via designing switching strategy and state-feedback controller. In this paper, a new switching strate...

متن کامل

Localization of Eigenvalues in Small Specified Regions of Complex Plane by State Feedback Matrix

This paper is concerned with the problem of designing discrete-time control systems with closed-loop eigenvalues in a prescribed region of stability. First, we obtain a state feedback matrix which assigns all the eigenvalues to zero, and then by elementary similarity operations we find a state feedback which assigns the eigenvalues inside a circle with center   and radius. This new algorithm ca...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012